-
1 аксиоматическая система
Большой англо-русский и русско-английский словарь > аксиоматическая система
-
2 axiomatic system
English-Russian dictionary of computer science > axiomatic system
-
3 axiomatic system
Англо-русский словарь по исследованиям и ноу-хау > axiomatic system
-
4 axiomatic system
-
5 axiomatic
Синонимический ряд:self-evident (adj.) aphoristic; obvious; proverbial; self-evident; well-known -
6 axiomatic
-
7 system
ˈsɪstɪm сущ.
1) а) система Syn: method б) система, устройство;
метод adversary system ≈ система состязательности в суде (правда выясняется в ходе соревнования позиций и доказательств сторон в судебном процессе) health system ≈ органы здравоохранения narrative evaluation system ≈ описательная система оценок( письменная характеристика успеваемости учащегося, даваемая преподавателем в свободной форме) political system ≈ государственный строй air-conditioning system
2) какая-л. определенная система а) сеть( дорог и т. п.) б) мир;
вселенная( система планет)
3) организм или часть организма nervous system support-locomotion system
4) геол. система, формация система;
способ;
метод - a good * of teaching French хорошая система /-ий метод/ обучения французскому языку - the touch * of typewriting печатание на машинке по слепому методу (тк. в ед. ч.) система, систематичность - to work without * работать без( строгой) системы - his work lacks * (в) его работе недостает системы - to bring * out of confusion упорядочить неразбериху;
найти выход из запутанного положения строй, устройство - political * государственный строй - the feudal * феодальный строй - * of government система правления - bipartisan /two-party/ * (американизм) (политика) двухпартийная система классификация, система - * of axes (математика) система координат - * of units( физическое) система измерений - natural * (химическое) периодическая система элементов - the decimal * десятичная система - binary * (химическое) бинарная /двойная/ система (философское) система;
комплекс идей, образующих целое - a * of philosophy философская система;
философское учение( философское) вселенная, мир сеть (дорог, труб и т. п.) - tramway * трамвайная сеть - irrigation * система орошения - nervous * нервная система - circulatory * система кровообращения - telephone * телефонная сеть организм - to pass into the * проникнуть в организм - to introduce smth. into the * ввести что-л. в организм - strong drink is bad for the * крепкие напитки вредны для организма - to get smth. out of one's * вывести( яд и т. п.) из организма;
избавиться от какого-л. чувства, навязчивой идеи и т. п. - I must get her out of my * я должен выбросить ее из головы (астрономия) система - * of comets система комет - solar * солнечная система (геология) система, формация (спортивное) судейство - closed /written/ * закрытое судейство - open /public/ * открытое судейство (военное) средство - forward-based *s средства передового базирования - all *s go (космонавтика) все системы (корабля) работают нормально( компьютерное) система - multiprocession * многопроцессорная система - * manager системный программист;
администратор системы - * management сопровождение /координация работы/ системы accept ~ система акцептования accounting information ~ вчт. бухгалтерская информационная система accounting ~ система бухгалтерского учета accounting ~ система счетов adaptive ~ вчт. адаптивная система administrative ~ административная система alarm ~ система сигнализации analysis ~ система анализа application visualization ~ вчт. прикладная система изображения asset quality rating ~ система квалификации активов asymptotically stable ~ асимптотически устойчивая система automated control ~ асу, автоматизированная система управления axiomatic ~ аксиоматическая система backup ~ вчт. дублирующая система banking ~ банковская система belief ~ система доверия bicameral ~ двухпалатная система bicameral ~ парл. двухпалатная система bipartite ~ парл. двухпартийная система block ~ =blocking bonus ~ премиальная система buddy ~ метод близнецов bulk-service ~ система с групповым обслуживанием business ~ экономическая система cad ~ вчт. система автоматизированного проектирования call-reply ~ вчт. запрсно-ответная система certification ~ система сертификации closed queueing ~ замкнутая система массового обслуживания closed ~ замкнутая система code-dependent ~ вчт. система зависящая от данных code-independent ~ вчт. система не зависящая от данных code-insensitive ~ вчт. система не зависящая от данных code-sensitive ~ вчт. система зависящая от данных code-transparent ~ вчт. система не зависящая от данных coinage ~ монетная система column ~ система бухгалтерского учета по колонкам commission ~ система комиссионных вознаграждений computer ~ вычислительная система computer ~ вчт. вычислительная система computer ~ вычислительный комплекс computer ~ система вычислительных машин computer-aided control ~ автоматизированная система управления computer-to-plate ~ система создания печатных форм на компьютере computerized information ~ информационная система на базе ЭВМ concealment ~ система маскировки concession ~ система концессий constrained ~ вчт. система с ограничениями consulting ~ вчт. консультирующая система control ~ система управления control ~ вчт. система управления cooperative ~ система кооперации cooptation ~ система кооптации costing ~ система калькуляции себестоимости court ~ судебная система, система судопроизводства credit ~ кредитная система criminal reestablishment ~ система восстановления личности преступника crisis alert ~ система предупреждения о кризисе cross ~ вчт. кросс-система cyclical response ~ вчт. система циклических реакций data base management ~ вчт. система управления базой данных data handling ~ вчт. система обработки данных data processing ~ вчт. система обработки данных data ~ вчт. информационная система database ~ вчт. система баз данных decimal ~ десятичная система dedicated ~ специализированная система deductive ~ дедуктивная система delay ~ система с ожиданием desktop ~ система непосредственного взаимодействия direct debit ~ система прямого дебета direct ~ целевая система directional ~ система управления disk operating ~ вчт. дисковая операционная система, ДОС distributed file ~ вчт. распределенная файловая система distributed ~ вчт. распределенная система distribution ~ система распределения distributive ~ распределительная система DP ~ (data processing ~) система обработки данных dynamic ~ динамическая система educational ~ система образования educational ~ система обучения election ~ избирательная система electronic book-entry ~ вчт. электронная система бухгалтерского учета electronic full-page makeup ~ вчт. электронная система верстки полос enclave ~ анклавная группа;
полузащищенная группа (работающих под специальным наблюдением в обычных рабочих условиях инвалидов) equilibrium ~ равновесная система evolutionary ~ развиваемая система executive ~ вчт. операционная система expand a ~ вчт. расширять комплект оборудования системы expert ~ вчт. экспертная система explanatory ~ вчт. система объяснений fail-soft ~ вчт. система с амортизацией отказов federal ~ федеральная система fee ~ система вознаграждений feedback ~ система с обратной связью file ~ вчт. файловая система filing ~ система регистрации документов filing ~ система хранения документов financial ~ финансовая система fiscal ~ система финансов fixed price ~ система с фиксированной ценой flat-rate guarantee ~ система гарантий с фиксированной ставкой formal ~ формальная система fractional reserve ~ система частичных резервов frame ~ вчт. система фреймов functional information ~ вчт. функциональный информационная система giro ~ система жиросчетов governmental ~ правительственная система grading ~ система сортировки guarantee ~ система гарантий guidance ~ вчт. система -путеводитель hard disk ~ вчт. система с жестким диском help ~ вчт. справочник hire ~ =hire-purchase historical cost ~ выч. калькуляция на основе фактических издержек производства homogeneous ~ однородная система host ~ вчт. базисная система host ~ вчт. централизованная система imprest ~ система авансирования imputation ~ система условного начисления indexing ~ система индексации inductive ~ вчт. индуктивная система information ~ вчт. информационная система instruction ~ вчт. обучающая система integrated ~ вчт. интегрированная система intelligent ~ вчт. интеллектуальная система interactive ~ вчт. диалоговая система interactive ~ вчт. интерактивная система interest ~ система ставок процента international monetary ~ международная валютная система judicial ~ система судебных органов judicial ~ судебная система, система судебных органов judicial ~ судебная система jury ~ система суда присяжных knowledge base management ~ вчт. система управления базой знаний knowledge representation ~ вчт. система представления знаний land registration ~ система регистрации земельного участка learning ~ вчт. самообучаемая система licensing ~ система лицензирования linear programming ~ система линейного программирования linear ~ линейная система loadable ~ вчт. загружаемая система loan limit ~ система предельных размеров кредита loose-leaf ~ полигр. издание с отрывными или вкладными листами loss ~ система с потерями mail ~ вчт. электронная почта management information ~ (MIS) управленческая информационная система manual ~ система ручного управления many-server ~ вчт. многоканальная система mapped ~ вчт. система с управлением памятью market ~ рыночная система market ~ рыночная экономика market ~ страна с рыночной экономикой marketing information ~ система маркетинговой информации markov ~ марковская система markovian ~ марковская система master-slave ~ несимметричная система match ~ система выравнивания курсов militia ~ система милиции minimum price ~ система минимальных цен minimum wage ~ система минимальной заработной платы ministerial ~ правительственная система mixed price ~ смешанная ценовая система mixed ~ смешанная система modeless ~ вчт. система с однородным интерфейсом monetary ~ денежная система monetary ~ финансовая система monitoring ~ система мониторинга monitoring ~ система текущего контроля multi-user ~ вчт. многопользовательская система multiprocessing ~ вчт. многопроцессорная система multiprogramming ~ вчт. система, работающая в мультипрограммном режиме multiserver ~ вчт. многоканальная система multistation ~ вчт. многопунктовая система multitasking ~ вчт. многозадачная система multiuser ~ система коллективного пользования multivariable ~ вчт. многомерная система municipal ~ муниципальная система non-markovian ~ вчт. немарковская система nonstop ~ вчт. безостановочный компьютер normative ~ нормативная система number ~ система счисления numeration ~ система счисления off-line ~ вчт. автономная система on-demand ~ вчт. система без ожидания on-line ~ вчт. неавтономная система on-line ~ вчт. система, работающая в реальном масштабе времени on-line ~ вчт. система реального времени one-party ~ однопартийная система open learning ~ гибкая система обучения open ~ вчт. открытая система open-item ~ система с незакрытыми статьями баланса operating ~ действующая система operating ~ вчт. операционная система organized banking ~ организованная банковская система page ~ вчт. страничная система parliamentary ~ парламентская система partial cost ~ система калькуляции издержек производства с использованием нормативов party ~ партийная система patent ~ система патентования pay-as-you-go ~ система выплаты выходных пособий при увольнении payments ~ система платежей penal ~ пенитенциарная система periodic reordering ~ вчт. система с периодической подачей заказов pilot ~ вчт. прототип системы ~ система, устройство;
political system государственный строй portable ~ вчт. мобильная система preferential ~ система преференций premium ~ премиальная система price control ~ система регулирования цен price support ~ система гарантирования цен price ~ система цен priority ~ вчт. система приоритетов priority ~ вчт. система с приоритетами probabilistic ~ вероятностная система process cost ~ система исчисления производственных издержек production ~ продукционная система productions ~ система продукций program development ~ вчт. система разработки программ programming ~ вчт. система программирования progressive taxation ~ система прогрессивного налогообложения proportional taxation ~ система пропорционального налогообложения protection ~ вчт. система защиты prototyping ~ макет системы public health ~ система здравоохранения quality ~ система критериев качества quality ~ система проверки качества quata ~ система квот question-answering ~ вчт. вопросно-ответная система queueing ~ система массового обслуживания queueing ~ вчт. система массового обслуживания quota ~ система иммиграционных квот quota ~ система квот quota ~ система контингентов real time ~ вчт. система реального времени reasoning ~ вчт. разумная система redundant ~ вчт. избыточная система reliable ~ надежная система report ~ система отчетности reporting ~ система отчетности reporting ~ система сбора информации reporting ~ система учета representation ~ система представления reservation ~ система резервирования resident ~ вчт. резидентная система retrieval ~ док. система внесения исправлений retrieval ~ вчт. система поиска revision control ~ вчт. система управления версиями risk control ~ система контроля рисков salary adjustment ~ система регулирования заработной платы salary ~ система заработной платы scalable ~ вчт. расширяемая система school ~ школьная система segment ~ вчт. система с сегментной организацией self-assessment tax ~ система самообложения налогом self-contained ~ замкнутая система serving ~ вчт. система обслуживания setting up the ~ вчт. начальная установка системы short-term support ~ система краткосрочной поддержки simulation ~ имитационная система single-channel ~ вчт. одноканальная система single-server ~ вчт. одноканальная система slave ~ подчиненная система stable ~ устойчивая система standard pay ~ система нормативной заработной платы standby ~ резервная система static-priority ~ вчт. система со статическими приоритетами stationary ~ стационарная система stochastic ~ стохастическая система support ~ вчт. исполняющая система system метод ~ мир, вселенная ~ организм ~ сеть (дорог и т. п.) ~ геол. система, формация ~ система, устройство;
political system государственный строй ~ система, устройство ~ система, метод ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ comp. система ~ устройство ~ for medium-term financial assistance программа среднесрочной финансовой помощи ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? ~ of commands система команд ~ of deductions система выводов ~ of financial contributions система финансовых взносов ~ of import control система контроля за импортом ~ of monitoring balance sheet growth система контроля за ростом статей баланса ~ of reimbursement система возмещения расходов ~ of remuneration система вознаграждения ~ of state государственное устройство ~ of taxation система налогообложения target ~ вчт. целевая система tax ~ налоговая система tax-at-source ~ система удержания налога из общей суммы доходов taxation ~ система налогообложения tender ~ система торгов terminal ~ вчт. система терминалов test ~ вчт. испытательная система text-retrieval ~ вчт. документальная информационная система thin-route ~ вчт. малоканальная система tightly-coupled ~ вчт. система с сильной связью time sharing ~ вчт. система разделения времени time-sharing ~ вчт. система разделения времени time-sharing ~ вчт. система с разделением времени timecard ~ система табельного учета totting-up ~ система зачетов trade support ~ система поддержки торговли trading ~ система торговли transaction-oriented ~ вчт. диалоговая система обработки запросов truck ~ система оплаты труда натурой truck ~ система оплаты труда товарами truck: truck = truck system ~ attr.: ~ system оплата труда товарами вместо денег;
Truck Acts ист. законы, ограничивающие систему оплаты труда товарами turnkey ~ вчт. готовая система two-channel ~ вчт. двухканальная система two-party ~ двухпартийная система unicameral ~ однопалатная система unitary tax ~ единая система налогообложения unmapped ~ вчт. система без управления памятью up ~ исправная система virgin ~ вчт. исходная система voluntary labelling ~ система добровольного снабжения продукта этикеткой wage ~ система оплаты труда waiting ~ вчт. система с ожиданием watch ~ бирж. система наблюдения weighting ~ система весов ~ система;
метод;
system of axes система координат;
what system do you go on? какому методу вы следуете? windowing ~ вчт. система управления окнами word processing ~ вчт. система обработки текстов work-space ~ вчт. система с рабочим состоянием -
8 system
[ˈsɪstɪm]accept system система акцептования accounting information system вчт. бухгалтерская информационная система accounting system система бухгалтерского учета accounting system система счетов adaptive system вчт. адаптивная система administrative system административная система alarm system система сигнализации analysis system система анализа application visualization system вчт. прикладная система изображения asset quality rating system система квалификации активов asymptotically stable system асимптотически устойчивая система automated control system асу, автоматизированная система управления axiomatic system аксиоматическая система backup system вчт. дублирующая система banking system банковская система belief system система доверия bicameral system двухпалатная система bicameral system парл. двухпалатная система bipartite system парл. двухпартийная система block system =blocking bonus system премиальная система buddy system метод близнецов bulk-service system система с групповым обслуживанием business system экономическая система cad system вчт. система автоматизированного проектирования call-reply system вчт. запрсно-ответная система certification system система сертификации closed queueing system замкнутая система массового обслуживания closed system замкнутая система code-dependent system вчт. система зависящая от данных code-independent system вчт. система не зависящая от данных code-insensitive system вчт. система не зависящая от данных code-sensitive system вчт. система зависящая от данных code-transparent system вчт. система не зависящая от данных coinage system монетная система column system система бухгалтерского учета по колонкам commission system система комиссионных вознаграждений computer system вычислительная система computer system вчт. вычислительная система computer system вычислительный комплекс computer system система вычислительных машин computer-aided control system автоматизированная система управления computer-to-plate system система создания печатных форм на компьютере computerized information system информационная система на базе ЭВМ concealment system система маскировки concession system система концессий constrained system вчт. система с ограничениями consulting system вчт. консультирующая система control system система управления control system вчт. система управления cooperative system система кооперации cooptation system система кооптации costing system система калькуляции себестоимости court system судебная система, система судопроизводства credit system кредитная система criminal reestablishment system система восстановления личности преступника crisis alert system система предупреждения о кризисе cross system вчт. кросс-система cyclical response system вчт. система циклических реакций data base management system вчт. система управления базой данных data handling system вчт. система обработки данных data processing system вчт. система обработки данных data system вчт. информационная система database system вчт. система баз данных decimal system десятичная система dedicated system специализированная система deductive system дедуктивная система delay system система с ожиданием desktop system система непосредственного взаимодействия direct debit system система прямого дебета direct system целевая система directional system система управления disk operating system вчт. дисковая операционная система, ДОС distributed file system вчт. распределенная файловая система distributed system вчт. распределенная система distribution system система распределения distributive system распределительная система DP system (data processing system) система обработки данных dynamic system динамическая система educational system система образования educational system система обучения election system избирательная система electronic book-entry system вчт. электронная система бухгалтерского учета electronic full-page makeup system вчт. электронная система верстки полос enclave system анклавная группа; полузащищенная группа (работающих под специальным наблюдением в обычных рабочих условиях инвалидов) equilibrium system равновесная система evolutionary system развиваемая система executive system вчт. операционная система expand a system вчт. расширять комплект оборудования системы expert system вчт. экспертная система explanatory system вчт. система объяснений fail-soft system вчт. система с амортизацией отказов federal system федеральная система fee system система вознаграждений feedback system система с обратной связью file system вчт. файловая система filing system система регистрации документов filing system система хранения документов financial system финансовая система fiscal system система финансов fixed price system система с фиксированной ценой flat-rate guarantee system система гарантий с фиксированной ставкой formal system формальная система fractional reserve system система частичных резервов frame system вчт. система фреймов functional information system вчт. функциональный информационная система giro system система жиросчетов governmental system правительственная система grading system система сортировки guarantee system система гарантий guidance system вчт. система -путеводитель hard disk system вчт. система с жестким диском help system вчт. справочник hire system =hire-purchase historical cost system выч. калькуляция на основе фактических издержек производства homogeneous system однородная система host system вчт. базисная система host system вчт. централизованная система imprest system система авансирования imputation system система условного начисления indexing system система индексации inductive system вчт. индуктивная система information system вчт. информационная система instruction system вчт. обучающая система integrated system вчт. интегрированная система intelligent system вчт. интеллектуальная система interactive system вчт. диалоговая система interactive system вчт. интерактивная система interest system система ставок процента international monetary system международная валютная система judicial system система судебных органов judicial system судебная система, система судебных органов judicial system судебная система jury system система суда присяжных knowledge base management system вчт. система управления базой знаний knowledge representation system вчт. система представления знаний land registration system система регистрации земельного участка learning system вчт. самообучаемая система licensing system система лицензирования linear programming system система линейного программирования linear system линейная система loadable system вчт. загружаемая система loan limit system система предельных размеров кредита loose-leaf system полигр. издание с отрывными или вкладными листами loss system система с потерями mail system вчт. электронная почта management information system (MIS) управленческая информационная система manual system система ручного управления many-server system вчт. многоканальная система mapped system вчт. система с управлением памятью market system рыночная система market system рыночная экономика market system страна с рыночной экономикой marketing information system система маркетинговой информации markov system марковская система markovian system марковская система master-slave system несимметричная система match system система выравнивания курсов militia system система милиции minimum price system система минимальных цен minimum wage system система минимальной заработной платы ministerial system правительственная система mixed price system смешанная ценовая система mixed system смешанная система modeless system вчт. система с однородным интерфейсом monetary system денежная система monetary system финансовая система monitoring system система мониторинга monitoring system система текущего контроля multi-user system вчт. многопользовательская система multiprocessing system вчт. многопроцессорная система multiprogramming system вчт. система, работающая в мультипрограммном режиме multiserver system вчт. многоканальная система multistation system вчт. многопунктовая система multitasking system вчт. многозадачная система multiuser system система коллективного пользования multivariable system вчт. многомерная система municipal system муниципальная система non-markovian system вчт. немарковская система nonstop system вчт. безостановочный компьютер normative system нормативная система number system система счисления numeration system система счисления off-line system вчт. автономная система on-demand system вчт. система без ожидания on-line system вчт. неавтономная система on-line system вчт. система, работающая в реальном масштабе времени on-line system вчт. система реального времени one-party system однопартийная система open learning system гибкая система обучения open system вчт. открытая система open-item system система с незакрытыми статьями баланса operating system действующая система operating system вчт. операционная система organized banking system организованная банковская система page system вчт. страничная система parliamentary system парламентская система partial cost system система калькуляции издержек производства с использованием нормативов party system партийная система patent system система патентования pay-as-you-go system система выплаты выходных пособий при увольнении payments system система платежей penal system пенитенциарная система periodic reordering system вчт. система с периодической подачей заказов pilot system вчт. прототип системы system система, устройство; political system государственный строй portable system вчт. мобильная система preferential system система преференций premium system премиальная система price control system система регулирования цен price support system система гарантирования цен price system система цен priority system вчт. система приоритетов priority system вчт. система с приоритетами probabilistic system вероятностная система process cost system система исчисления производственных издержек production system продукционная система productions system система продукций program development system вчт. система разработки программ programming system вчт. система программирования progressive taxation system система прогрессивного налогообложения proportional taxation system система пропорционального налогообложения protection system вчт. система защиты prototyping system макет системы public health system система здравоохранения quality system система критериев качества quality system система проверки качества quata system система квот question-answering system вчт. вопросно-ответная система queueing system система массового обслуживания queueing system вчт. система массового обслуживания quota system система иммиграционных квот quota system система квот quota system система контингентов real time system вчт. система реального времени reasoning system вчт. разумная система redundant system вчт. избыточная система reliable system надежная система report system система отчетности reporting system система отчетности reporting system система сбора информации reporting system система учета representation system система представления reservation system система резервирования resident system вчт. резидентная система retrieval system док. система внесения исправлений retrieval system вчт. система поиска revision control system вчт. система управления версиями risk control system система контроля рисков salary adjustment system система регулирования заработной платы salary system система заработной платы scalable system вчт. расширяемая система school system школьная система segment system вчт. система с сегментной организацией self-assessment tax system система самообложения налогом self-contained system замкнутая система serving system вчт. система обслуживания setting up the system вчт. начальная установка системы short-term support system система краткосрочной поддержки simulation system имитационная система single-channel system вчт. одноканальная система single-server system вчт. одноканальная система slave system подчиненная система stable system устойчивая система standard pay system система нормативной заработной платы standby system резервная система static-priority system вчт. система со статическими приоритетами stationary system стационарная система stochastic system стохастическая система support system вчт. исполняющая система system метод system мир, вселенная system организм system сеть (дорог и т. п.) system геол. система, формация system система, устройство; political system государственный строй system система, устройство system система, метод system система; метод; system of axes система координат; what system do you go on? какому методу вы следуете? system comp. система system устройство system for medium-term financial assistance программа среднесрочной финансовой помощи system система; метод; system of axes система координат; what system do you go on? какому методу вы следуете? system of commands система команд system of deductions система выводов system of financial contributions система финансовых взносов system of import control система контроля за импортом system of monitoring balance sheet growth система контроля за ростом статей баланса system of reimbursement система возмещения расходов system of remuneration система вознаграждения system of state государственное устройство system of taxation система налогообложения target system вчт. целевая система tax system налоговая система tax-at-source system система удержания налога из общей суммы доходов taxation system система налогообложения tender system система торгов terminal system вчт. система терминалов test system вчт. испытательная система text-retrieval system вчт. документальная информационная система thin-route system вчт. малоканальная система tightly-coupled system вчт. система с сильной связью time sharing system вчт. система разделения времени time-sharing system вчт. система разделения времени time-sharing system вчт. система с разделением времени timecard system система табельного учета totting-up system система зачетов trade support system система поддержки торговли trading system система торговли transaction-oriented system вчт. диалоговая система обработки запросов truck system система оплаты труда натурой truck system система оплаты труда товарами truck: truck = truck system system attr.: system system оплата труда товарами вместо денег; Truck Acts ист. законы, ограничивающие систему оплаты труда товарами turnkey system вчт. готовая система two-channel system вчт. двухканальная система two-party system двухпартийная система unicameral system однопалатная система unitary tax system единая система налогообложения unmapped system вчт. система без управления памятью up system исправная система virgin system вчт. исходная система voluntary labelling system система добровольного снабжения продукта этикеткой wage system система оплаты труда waiting system вчт. система с ожиданием watch system бирж. система наблюдения weighting system система весов system система; метод; system of axes система координат; what system do you go on? какому методу вы следуете? windowing system вчт. система управления окнами word processing system вчт. система обработки текстов work-space system вчт. система с рабочим состоянием -
9 axiomatic system
1) Логика: аксиоматическая система2) Макаров: система аксиом -
10 axiomatic system
Большой англо-русский и русско-английский словарь > axiomatic system
-
11 axiomatic system
лог. аксиоматическая системаEnglish-Russian dictionary of computer science and programming > axiomatic system
-
12 axiomatic system
См. также в других словарях:
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ — АКСИОМАТИЧЕСКАЯ ТЕОРИЯ теория, организованная (построенная) согласно аксиоматическому методу. Первой такой теорией была эллинская геометрия (“Начала” Евклида), заложившая традиции, которым следовали по существу два тысячелетия.… … Философская энциклопедия
АКСИОМАТИЧЕСКАЯ КВАНТОВАЯ ТЕОРИЯ ПОЛЯ — (АКТП) квантовая теория поля (КТП), построенная но образцу аксиоматич. теории, т … Физическая энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Формальная система — неинтерпретированное Исчисление, класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул… … Большая советская энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — неинтерпретированное исчисление, класс выражений (формул) к рого задается обычно индуктивно – посредством задания исходных ( элементарных , или атомарных ) формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) –… … Философская энциклопедия
ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ — система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело Френкеля (см. Аксиоматическая теория множеств), типов теории примеры Э. с. а. В. Н. Гришин … Математическая энциклопедия
Формальная система — (формальная теория, аксиоматическая теория) результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны… … Википедия
Дедуктивная система — это способ задания множества путем указания исходных элементов (аксиом исчисления) и правил вывода, каждое из которых описывает, как строить новые элементы из исходных. Используются различные термины для обозначения понятия дедуктивной системы:… … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… … История Философии: Энциклопедия
ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… … История Философии: Энциклопедия
